In mathematics, a projective line is a one-dimensional projective space. The projective line over a field K, denoted P1(K), may be defined as the set of one-dimensional subspaces of the two-dimensional vector space K2 (it does carry other geometric structures).